Human beings have a memory adapted to primarily retain and recall information that favors their survival and reproduction. We tested whether the frequency and severity of environmental challenges influence adaptive memory, i.e., the ability to retain and recall adaptive information. Therefore, in a community of family farmers, we verified whether the salience index of snakes (as a proxy for the distribution of local knowledge and organization in the recall process) is determined by (1) relative abundance; (2) synanthropic behavior (proxies of (...) environmental challenge frequency); (3) aposematic intensity; (4) active defense behavior; and (5) venom lethality (proxies of environmental challenge severity). To access local knowledge, we used semi-structured interviews and free lists. Ecological information about snakes, necessary for hypothesis testing, was collected from 15 herpetologists. Our results suggest that only the frequency of an environmental challenge determines a person’s ability to retain and recall adaptive information. The severity of an environmental challenge does not determine episodic memory by itself, but only amplifies the recall of information associated with frequent challenges. Therefore, an individual’s adaptive memory is fueled by the repetition of environmental challenges. Nonetheless, when the level of biological organization shifts to the population, severity is deemed evolutionarily significant. The severity of an environmental challenge, even if it leads to the death of individuals, may contribute to the evolution of the population if there are cohesive processes within the population, such as knowledge transmission, that transform it into a new “adaptive unit.”. (shrink)

There are very few (published) accounts of editorial misconduct, and those that do exist are almost exclusively focused on medicine-related areas. In the present article we detail a case of editorial misconduct in a rather underexplored domain, the social sciences. This case demonstrates that although legal systems provide different instruments of protection to avoid, compensate for, and punish misconduct on the part of journal editors, the social and economic power unbalance between authors and publishers suggests the importance of alternative solutions (...) before or instead of bringing a lawsuit to court. It puts forward strong arguments in favour of the need for effective regulatory bodies so as to achieve and maintain a culture of research integrity by all involved in the process. (shrink)

Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.

On the one hand, non-reflexive logics are logics in which the principle of identity does not hold in general. On the other hand, quantum mechanics has difficulties regarding the interpretation of ‘particles’ and their identity, also known in the literature as ‘the problem of indistinguishable particles’. In this article, we will argue that non-reflexive logics can be a useful tool to account for such quantum indistinguishability. In particular, we will provide a particular non-reflexive logic that can help us to analyze (...) and discuss this problem. From a more general physical perspective, we will also analyze the limits imposed by the orthodox quantum formalism to consider the existence of indistinguishable particles in the first place, and argue that non-reflexive logics can also help us to think beyond the limits of classical identity. (shrink)

This paper aims to propose an invitation to look at the kind of childhood we have been constructing from the practices of Special Education, in articulation with the practices of Early Childhood Education. It problematizes the discursive webs formed in this articulation, considering the way that Special Education teachers working with Early Childhood in public schools regard childhood. Such discussions have derived from the uneasiness of thinking about how we have been producing childhood, given the policy of expanding mandatory attendance (...) to four-year-old children. The analytical exercise, inspired by the discourse analysis proposed by Michel Foucault, has enabled us to question the production of subjects, truths and realities in the “confessions” of the interviewed teachers, in which we have identified two ways of thinking about and producing childhood: captured childhood, which is produced through the operationalization of normalization practices by Special Education, determined by the will to knowledge and the will to power over childhood; and childhood as heterotopy, produced as a powerful movement of resistance and denaturalization of normalizing practices – childhood regarded from other places, as an infinite, multiple, non-nameable, ever undetermined becoming, as an invitation to thought: what can we do in the encounter with childhood? (shrink)

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can (...) be accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed. (shrink)

It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in the line of (...) solving a problem posed by Y. Manin, namely, to incorporate quantum mechanical notions at the foundations of mathematics. We also show that our system is capable of representing quantum superpositions. (shrink)

Abstract A general framework is proposed for accommodating the recent results of studies into ?natural? decision making. A crucial element of this framework is the notion of a ?partial structure?, recently introduced into the semantic approach to scientific theories. It is through the introduction of this element that connections can be made with certain problems regarding inconsistency and rationality in general.

This text works on the concept of equality, which permeates several of Immanuel Kant’s works, especially in his critical period, in legal-political approaches. Moral equality and legal equality are presented in relation to other concepts such as liberty and independence. Considering that the author did not deal directly with the subject and did not consistently take a stand on his egalitarian or non-egalitarian views in the different contexts of his writings, we will bring our own analyzes and those of the (...) philosopher’s interpreters, through selected pages from his books. Therefore, an overview of the issue in Kant’s works will be presented, emphasizing the contributions and limitations of his approach in the context of cosmopolitan law. (shrink)

The issue of what consequences to draw from the existence of non-classical logical systems has been the subject of an interesting debate across a diversity of fields. In this paper the matter of alternative logics is considered with reference to a specific belief system and its propositions :the Azande are said to maintain beliefs about witchcraft which, when expressed propositionally, appear to be inconsistent. When the Azande have been presented with such inconsistencies, they either fail to see them as such (...) or else accept them as non-problematical. Is our knowledge of logical truths a relative and culturally determined phenomenon, or is there some (transcendent) criterion that allows us to adjudicate between alternative logical systems? The authors propose an approach for resolving disputes about the status of Azande reasoning which assumes a paraconsistent framework, thus providing a new perspective on this debate. (shrink)

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by ‘superposition’ in each case is extremely different. In this paper we discuss some of the multiple interpretations which exist in the literature regarding superpositions in quantum mechanics. We argue that all these interpretations have something in common: they all attempt to avoid ‘contradiction’. We argue in this paper, in favor of the importance of developing a new interpretation of superpositions which takes into account contradiction, (...) as a key element of the formal structure of the theory, “right from the start”. In order to show the feasibility of our interpretational project we present an outline of a paraconsistent approach to quantum superpositions which attempts to account for the contradictory properties present in general within quantum superpositions. This approach must not be understood as a closed formal and conceptual scheme but rather as a first step towards a different type of understanding regarding quantum superpositions. (shrink)

Este artigo apresenta uma investigação sobre as produções científicas e tecnológicas ocorridas naantiguidade africana. Discute as várias realizações da ciência e tecnologia nas antigas civilizações doNorte da África e da África subsaariana, como também a cultura e os costumes. Desmistifica a falsaideia de que a África não teve uma história nem teria produzido conhecimento nenhum relevante, alémde ter sido injustamente considerada como civilização obscura e atrasada. Através de pesquisasrelevantes de filósofos europeus, estadunidenses e africanos como Cheikh Anta Diop, Molefi KateAsante (...) e Theophille Obenga abordadas neste trabalho, aponta-se aqui as contribuiçõesepistemológicas, científicas, filosóficas e culturais do antigo Egito e da África subsaariana. Assimsendo, este trabalho explora a África real que existiu na antiguidade onde ocorreu desenvolvimento emdiversas áreas do conhecimento. (shrink)

We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have (...) no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory. (shrink)

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field (with infinitesimals). Our approach was inspired by the work of Whitehead (...) (1919), though our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time. (shrink)

In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastião e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein’s Erlangen Program and that foreshadows some notions and results of today’s model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva’s disposal. At the same time, we (...) tried to keep in mind, so much as possible, the gist of his standpoint. (shrink)

The partial structures approach has two major components: a broad notion of structure (partial structure) and a weak notion of truth (quasi-truth). In this paper, we discuss the relationship between this approach and free logic. We also compare the model-theoretic analysis supplied by partial structures with the method of supervaluations, which was initially introduced as a technique to provide a semantic analysis of free logic. We then combine the three formal frameworks (partial structures, free logic and supervaluations), and apply the (...) resulting approach to accommodate semantic paradoxes. (shrink)

In this paper we make some general remarks on the use of non-classical logics, in particular paraconsistent logic, in the foundational analysis of physical theories. As a case-study, we present a reconstruction of P.\ -D.\ F\'evrier's 'logic of complementarity' as a strict three-valued logic and also a paraconsistent version of it. At the end, we sketch our own approach to complementarity, which is based on a paraconsistent logic termed 'paraclassical logic'.

We apply the recently elaborated notions of 'pragmatic truth' and 'pragmatic probability' to the problem of the construction of a logic of inductive inference. It is argued that the system outlined here is able to overcome many of the objections usually levelled against such attempts. We claim, furthermore, that our view captures the essentially cumulative nature of science and allows us to explain why it is indeed reasonable to accept and believe in the conclusions reached by inductive inference.

In this work, the first of a series, we study the nature of informal inconsistency in physics, focusing mainly on the foundations of quantum theory, and appealing to the concept of quasi-truth. We defend a pluralistic view of the philosophy of science, grounded on the existence of inconsistencies and on quasi-truth. Here, we treat only the ‘classical aspects’ of the subject, leaving for a forthcoming paper the ‘non-classical’ part.

In this paper we consider the relation between beliefs and goals in agent theory. Beliefs play three roles in reasoning about goals: they play a role in the generation of unconditional desires from conditional ones, they play a role in adoption of desires as goals, and they play a role in the selection of plans to achieve goals. In this paper we consider the role of goals in reasoning about beliefs. Though we assume that goals do not play a role (...) in the belief generation problem, we argue that they play a role in the belief selection problem. We show the rationality of the use of goals in belief selection, in the sense that there are cases in which agents that take their goals into account in selecting a belief set from a set of alternatives outperform agents that do not do so. We also formally distinguish between the rational role of goals in belief selection and irrational wishful thinking. (shrink)

The apparently paradoxical nature of self-deception has attracted a great deal of controversy in recent years. Focussing on those aspects of the phenomenon which involve the holding of "contradictory" beliefs, it is our intention to argue that this presents no "paradox" if a non-classical, "paraconsistent", doxastic logic is adopted. (On such logics, see, for example, N. C. A. da Costa, 'On the theory of inconsistent formal systems', Notre Dame J Formal Logic 11(1974), 497-510, and A. I. Arruda, 'A survey (...) of paraconsistent logic', in A. I. Arruda, N. C. A da Costa and R Chuaqui, _Mathematical Logic in Latin America, North-Holland, 1984, pp. 1-41.). (shrink)

We discuss the hypothesis that the debate about the interpretation of the orthodox formalism of quantum mechanics might have been misguided right from the start by a biased metaphysical interpretation of the formalism and its inner mathematical relations. In particular, we focus on the orthodox interpretation of the congruence relation, '=', which relates equivalent classes of different mathematical representations of a vector in Hilbert space, in terms of metaphysical identity. We will argue that this seemingly "common sense" interpretation, at the (...) semantic level, has severe difficulties when considering the syntactic level of the theory. (shrink)

We expose the main ideas, concepts and results about Jaśkowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.

There are several conceptions of truth, such as the classical correspondence conception, the coherence conception and the pragmatic conception. The classical correspondence conception, or Aristotelian conception, received a mathematical treatment in the hands of Tarski (cf. Tarski [1935] and [1944]), which was the starting point of a great progress in logic and in mathematics. In effect, Tarski's semantic ideas, especially his semantic characterization of truth, have exerted a major influence on various disciplines, besides logic and mathematics; for instance, linguistics, the (...) philosophy of science, and the theory of knowledge. The importance of the Tarskian investigations derives, among other things, from the fact that they constitute a mathematical, formal mark to serve as a reference for the philosophical (informal) conceptions of truth. Today the philosopher knows that the classical conception can be developed and that it is free from paradoxes and other difficulties, if certain precautions are taken. We believe that is not an exaggeration if we assert that Tarski's theory should be considered as one of the greatest accomplishments of logic and mathematics of our time, an accomplishment which is also of extraordinary relevance to philosophy, as we have already remarked. In this paper we show that the pragmatic conception of truth, at least in one of its possible interpretations, has also a mathematical formulation, similar in spirit to that given by Tarski to the classical correspondence conception. (shrink)

We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to show that time is dispensable in continuum thermodynamics, according to the axiomatic formulation of Gurtin and Williams. We also show how to define time by means of the remaining primitive concepts of Gurtin and Williams system. Finally, we introduce thermodynamics without time as a primitive concept.

In [7] the authors of this paper argued in favor of the possibility to consider a Paraconsistent Approach to Quantum Superpositions. We claimed that, even though most interpretations of quantum mechanics attempt to escape contradictions, there are many hints -coming from present technical and experimental developments in QM- that indicate it could be worth while to engage in a research of this kind. Recently, Arenhart and Krause have raised several arguments against the PAQS [1, 2, 3]. In [11, 12] it (...) was argued that their reasoning presupposes a metaphysical stance according to which the physical representation of reality must be exclusively considered in terms of the equation: Actuality = Reality. However, from a different metaphysical standpoint their problems disappear. It was also argued that, if we accept the idea that quantum superpositions exist in a potential realm, it makes perfect sense to develop QM in terms of a paraconsistent approach and claim that quantum superpositions are contradictory, contextual existents. Following these ideas, and taking as a standpoint an interpretation in terms of the physical notions of power and potentia put forward in [10, 12, 15], we present a paraconsistent formalization of quantum superpositions that attempts to capture the main features of QM. (shrink)

In the past thirty years, two fundamental issues have emerged in the philosophy of science. One concerns the appropriate attitude we should take towards scientific theories--whether we should regard them as true or merely empirically adequate, for example. The other concerns the nature of scientific theories and models and how these might best be represented. In this ambitious book, da Costa and French bring these two issues together by arguing that theories and models should be regarded as partially rather (...) than wholly true. They adopt a framework that sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate. The new machinery of "partial structures" that they develop offers a new perspective from which to view the nature of scientific models and their heuristic development. Their conclusions will be of wide interest to philosophers and historians of science. (shrink)

In this first paper of a series of works on the foundations of science, we examine the significance of logical and mathematical frameworks used in foundational studies. In particular, we emphasize the distinction between the order of a language and the order of a structure to prevent confusing models of scientific theories with first-order structures, and which are studied in standard model theory. All of us are, of course, bound to make abuses of language even in putatively precise contexts. This (...) is not a problem—in fact, it is part of scientific and philosophical practice. But it is important to be sensitive to the dierent uses that structure, model, and language have. In this paper, we examine these topics in the context of classical logic; only in the last section we touch upon briefly on non-classical ones. (shrink)

We study some metamathematical properties of various classicaland paraconsistent logical systems. In particular, we discuss the concept ofa k-transform of a formula and consider some of its applications.

An improvement on Horwich's so-called "pseudo-proof" of Russell's principle of induction is offered, which, we believe, avoids certain objections to the former. Although strictly independent of our other work in this area, a connection can be made and in the final section we comment on this and certain questions regarding rationality, etc.